Parallelizing Elimination Orders with Linear Fill

نویسندگان

  • Claudson F. Bornstein
  • Bruce M. Maggs
  • Gary L. Miller
  • R. Ravi
چکیده

This paper presents an algorithm for nding parallel elimination orders for Gaussian elimination Viewing a system of equations as a graph the algorithm can be applied directly to interval graphs and chordal graphs For general graphs the algorithm can be used to paral lelize the order produced by some other heuristic such as minimum degree In this case the algorithm is ap plied to the chordal completion that the heuristic gen erates from the input graph In general the input to the algorithm is a chordal graph G with n nodes and m edges The algorithm produces an order with height at most O log n times optimal ll at most O m and work at most O W G where W G is the minimum possible work over all elimination orders for G Experimental results show that when applied after some other heuristic the increase in work and ll is usually small In some instances the algorithm obtains an order that is actually better in terms of work and ll than the original one We also present an algo rithm that produces an order with a factor of logn less height but with a factor of O p logn more ll

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Parallelizing and De-parallelizing Elimination Orders

The order in which the variables of a linear system are processed determines the total amounts of fill and work to perform LU decomposition on the system. We identify a trade-off between the amounts of fill and work for a given order and the parallelism inherent in that order. We present two algorithms: one that tries to parallelize sequential orders, and another that tries to produce low-fill ...

متن کامل

A Formulation of Linear Logic Based on Dependency-Relations

In this paper we describe a solution to the problem of proving cut-elimination for FILL, a variant of exponential-free and multiplicative Linear Logic originally introduced by Hyland and de Paiva. In the work of Hyland and de Paiva, a term assignment system is used to describe the intuitionistic character of FILL and a proof of cut-elimination is barely sketched. In the present paper, as well a...

متن کامل

Multiple Conclusion Linear Logic: Cut Elimination and More

Full Intuitionistic Linear Logic (FILL) was first introduced by Hyland and de Paiva, and went against current beliefs that it was not possible to incorporate all of the linear connectives, e.g. tensor, par, and implication, into an intuitionistic linear logic. It was shown that their formalization of FILL did not enjoy cut-elimination by Bierman, but Bellin proposed a change to the definition o...

متن کامل

Symbolic expression evaluation to support parallelizing compilers

Symbolic analysis is of paramount importance to further advance the state-of-the-art of parallelizing compilers. The quality of various compiler analyses and optimizing code transformations depend on the ability to evaluate symbolic expressions for equality and inequality (=; <;>) relationships. This paper describes a powerful algorithm that computes lower and/or upper bounds of wide classes of...

متن کامل

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version

Full Intuitionistic Linear Logic (FILL) is multiplicative intuitionistic linear logic extended with par. Its proof theory has been notoriously difficult to get right, and existing sequent calculi all involve inference rules with complex annotations to guarantee soundness and cut-elimination. We give a simple and annotation-free display calculus for FILL which satisfies Belnap’s generic cut-elim...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997